Implementation of Compaction Algorithm for ATPG Generated Partially Specified Test Data
نویسندگان
چکیده
منابع مشابه
Implementation of Compaction Algorithm for Atpg Generated Partially Specified Test Data
In this paper the ATPG is implemented using C++. This ATPG is based on fault equivalence concept in which the number of faults gets reduced before compaction method. This ATPG uses the line justification and error propagation to find the test vectors for reduced fault set with the aid of controllability and observability. Single stuck at fault model is considered. The programs are developed for...
متن کاملCrosstalk Glitch Fault ATPG with Test Compaction
This work proposes a TPG method for producing maximal crosstalk glitch effect on victim net. Thereafter, the test set is compacted using different implementations of fault-list chaining algorithm.
متن کاملSelecting Test Sequences for Partially-specified Nondeterministic Finite State Machines1
In order to test the control portion of communication software, specifications are usually first abstracted to state machines, then test cases are generated from the resulting machines. The state machines obtained from the specification are often both partially-specified and nondeterministic. We come out with a method of generating test suites for the software that is modeled by partially-speci...
متن کاملStudy on Test Compaction in High-Level Automatic Test Pattern Generation (ATPG) Platform
Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic test pattern generation (ATPG). In addition, ATPG needs to deal with new defects caused by process variation when IC is shrinking. To reduce the computation effort of ATPG, test gen...
متن کاملTowards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints
Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT) is a robust alternative to classical structural ATPG. Due to the powerful reasoning engines of modern SAT solvers, SAT-based algorithms typically provide a high test coverage because of the ability to reliably classify hardto-detect faults. However, a weak point of SAT-based ATPG is the test compaction ability. In th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of VLSI Design & Communication Systems
سال: 2013
ISSN: 0976-1527,0976-1357
DOI: 10.5121/vlsic.2013.4108